Verification by Network Decomposition
نویسندگان
چکیده
We describe a new method to verify networks of homogeneous processes which communicate by token passing. Given an arbitrary network graph and an indexed LTL \ X property, we show how to decompose the network graph into multiple constant size networks, thereby reducing one model checking call on a large network to several calls on small networks. We thus obtain cut-offs for arbitrary classes of networks, adding to previous work by Emerson and Namjoshi on the ring topology. Our results on LTL \ X are complemented by a negative result which precludes the existence of reductions for CTL \ X on general networks.
منابع مشابه
Face Verification Based on Singular Value Decomposition and Radial Basis Function Neural Network
Face is an important biometric feature for personal identification. This paper describes a new face verification methods based on singular value decomposition and RBF neural networks. The proposed method utilizes the positive samples and negative samples learning ability of RBF neural networks to improve singular values based face verification. Experiment results show that the novel face verifi...
متن کاملVerification of an Evolutionary-based Wavelet Neural Network Model for Nonlinear Function Approximation
Nonlinear function approximation is one of the most important tasks in system analysis and identification. Several models have been presented to achieve an accurate approximation on nonlinear mathematics functions. However, the majority of the models are specific to certain problems and systems. In this paper, an evolutionary-based wavelet neural network model is proposed for structure definiti...
متن کاملTwo-stage Stochastic Programing Based on the Accelerated Benders Decomposition for Designing Power Network Design under Uncertainty
In this paper, a comprehensive mathematical model for designing an electric power supply chain network via considering preventive maintenance under risk of network failures is proposed. The risk of capacity disruption of the distribution network is handled via using a two-stage stochastic programming as a framework for modeling the optimization problem. An applied method of planning for the net...
متن کاملFace Detection with methods based on color by using Artificial Neural Network
The face Detection methodsis used in order to provide security. The mentioned methods problems are that it cannot be categorized because of the great differences and varieties in the face of individuals. In this paper, face Detection methods has been presented for overcoming upon these problems based on skin color datum. The researcher gathered a face database of 30 individuals consisting of ov...
متن کاملA Benders Decomposition Method to Solve an Integrated Logistics Network Designing Problem with Multiple Capacities
In this paper, a new model is proposed for the integrated logistics network designing problem. In many research papers in this area, it is assumed that there is only one option for the capacity of each facility in the network. However, this is not a realistic assumption because generally there may be many possible options for the capacity of the facility that is being established. Usually the c...
متن کاملBenders decomposition for Supply Chain Network Redesign with Capacity planning and Multi-Period Pricing
Managing income is a considerable dimension in supply chain management in current economic atmosphere. Real world situation makes it inevitable not to design or redesign supply chain. Redesign will take place as costs increase or new services for customers’ new demands should be provided. Pricing is an important fragment of Supply chain due to two reasons: first, represents revenue based ...
متن کامل